New approach for anti-normally and normally ordering bosonic-operator functions in quantum optics
Xu Shi-Min1, Zhang Yun-Hai1, Xu Xing-Lei1, Li Hong-Qi1, †, , Wang Ji-Suo2
Department of Physics and Electronic Engineering, Heze University, Heze 274015, China
College of Physics and Engineering, Qufu Normal University, Qufu 273165, China

 

† Corresponding author. E-mail: hzuwlx@126.com

Project supported by the Natural Science Foundation of Shandong Province, China (Grant No. ZR2015AM025) and the Natural Science Foundation of Heze University, China (Grant No. XY14PY02).

Abstract
Abstract

In this paper, we provide a new kind of operator formula for anti-normally and normally ordering bosonic-operator functions in quantum optics, which can help us arrange a bosonic-operator function f(λQ̂ + νP̂) in its anti-normal and normal ordering conveniently. Furthermore, mutual transformation formulas between anti-normal ordering and normal ordering, which have good universality, are derived too. Based on these operator formulas, some new differential relations and some useful mathematical integral formulas are easily derived without really performing these integrations.

1. Introduction

The operator ordering problem,[1,2] which bothers people from time to time, plays an important role in constructing quantum mechanical operators[3] and describing the phase space of quantum mechanics.[4] The operator ordering problems are often encountered in quantizing a classical function and in calculating various matrix elements of operators. In quantum optics, operator ordering problems arise in converting operator master equations into c-number equations in phase space. As is well known, the anti-normally ordered expansion of an operator is very useful in calculating the P-representation of the density operator, because the P-representation of a density operator is[5]

where is the coherent state,[68] and are bosonic creation and annihilation operators respectively, obeying [,] = 1. The inverse transformation of Eq. (1) reads

which is the Mehta formula.[9] By substituting Eq. (2) into Eq. (1) we have

where the symbol ⁝ ⁝ represents the anti-normal ordering (all stand on the left of all ). Equations (2) and (3) imply that its P-representation can be obtained immediately once the anti-normal ordering form of a quantum operator is given. The normally ordered form of an operator is closely related to handling miscellaneous calculations of expectation values of observables in the coherent states, because the matrix elements of the normally ordered operator function : F(, ) : in coherent states directly yields

where the symbol ∶ ∶ denotes the normal ordering (all stand on the left of all ). Therefore, it is an important topic to obtain the anti-normal and normal ordering form of the operators in quantum optics.

To the best of our knowledge, there are three main methods of handling operator ordering problems in most published reports, such as the Lie algebra method,[10] Louisell’s differential operation method via the coherent state representation,[11] and the newly developed technique of integration within ordered product (IWOP) of operators.[1215] However, from the above mentioned reports, we notice that when the authors derived some operator normal ordering forms by using the IWOP technique, they had to first know the completeness relation of the eigenvector of the operator to be ordered as a pure Gaussian integration in the normal ordering form, and then make use of some complex mathematical integral formula. In this work, in order to avoid these inconveniences, we report several new formulas for anti-normally and normally ordering bosonic-operator functions. Namely, we directly utilize the Baker–Hausdorff formula and differential method of operators to derive new and neat formulas for anti-normally and normally ordering bosonic-operator functions. Using these formulas we can arrange a bosonic-operator function f(λQ̂ + νP̂) in its anti-normal and normal ordering conveniently, where and are the coordinate operator and momentum operator respectively. Furthermore, the mutual transformation formulas between anti-normal ordering and normal ordering are derived too. Based on these operator formulas, some new differential relations and some useful mathematical integral formulas are easily derived without really performing these integrations.

2. The differential operation for transforming f(λQ̂ + νP̂) to ⁝f(λQ̂ + νP̂)⁝ and : f(λQ̂ + νP̂):

In this section we discuss how an operation can transform f(λQ̂ + νP̂) to ⁝ f(λQ̂ + νP̂) ⁝ and :f(λQ̂ + νP̂):. To begin with, we study the exponential operator et(λQ̂+νP̂). By virtue of the Baker–Hausdorff formula

([,[,]] = [,[,]] = 0), we can obtain the anti-normal ordering form of et(λQ̂+νP̂) as follows:

With considering the expansion of

and comparing the terms with the same power of t on both sides of Eq. (5), we easily obtain a neat formula as follows:

So, for any function f(λQ̂ + νP̂) which can be expanded as a power series of (λQ̂ + νP̂)n, it follows that

which is just the formula for converting bosonic-operator function f(λQ̂ + νP̂) into its anti-normal ordering. Noticing that /∂Q̂, /∂P̂, / (λQ̂ + ∂νP̂) are merely differential operations, not quantum mechanical operators. Their consequences are permutable and they may enter into or go out of the symbols: : and ⁝ ⁝ freely.

Following Eq. (7), we can obtain

which is the new approach to eliminating the symbol ⁝ ⁝ from ⁝ f(λQ̂ + νP̂) ⁝.

Similarly, we may obtain that

which is just the differential formula for converting bosonic-operator function f(λQ̂ + νP̂) into its normal ordering. Equation (9) yields that

which is the new approach to eliminating the symbol ⁝ ⁝ from : f(λQ̂ + νP̂):.

Moreover, by introducing and , we can rewrite Eqs. (7) and (9) as

Especially, when λ = 1 and ν = 0, we immediately obtain

and when λ = 0 and ν = 1, we have

In Refs. [16] and [17], with the help of some complex mathematical integral formulas, the IWOP technique and intermediate coordinate-momentum representation are used. In Ref. [18], their results are merely the ordered form of some operators such as n, n, and (λQ̂ + νP̂)n. Without doubt, we provide a new kind of operator formulas for anti-normally and normally ordering bosonic-operator functions including f(), f(), and f(λQ̂ + νP̂), and our approach shows its features of simpleness, neatness and directness.

3. Differential operation for transforming mn (mn) to its anti-normal and normal ordering

Now we discuss how to transform mn (mn) into its anti-normal and normal ordering. Considering the exponential operator eλQ̂eνP̂ and by virtue of [,] = i, [,] = 1, and the Baker–Hausdorff formula, we have

With considering the expansion of

and comparing the terms with the same powers of λ and ν on both sides of Eq. (15), we easily obtain the neat formula

which is just the differential formula for converting bosonic-operator mn into its anti-normal ordering. Following it, we have

which is the new approach to eliminate the symbol ⁝ ⁝ from ⁝ mn ⁝. In a similar way, the normal ordering expansion of mn, and the anti-normal and normal ordering expansions of mn are described respectively as

For example

Moreover, using the Hermite polynomial

and the two-variable Hermite polynomial[19,20]

we may derive that

which is the anti-normally ordered expansion of mn. In fact, equations (16)–(18) provide the mutual transformation formulas between the quantum mechanical operators whose all (or ) stand on the left hand of all (or ) and their anti-normal and normal ordering.

4. Mutual transformation formulas between anti-normal and normal ordering

From Eqs. (7) and (9) we can derive the mutual transformation between anti-normal and normal ordering, i.e.,

Since 2/∂Q̂2 + 2/∂P̂2 = (λ2 + ν2)2/(λQ̂ + νP̂)2, the above equation can be rewritten as

which is the transformation formula for converting a normally ordered operator function into its anti-normally ordered form. Here, we have replaced f(λQ̂ + νP̂) with an arbitrary operator function f(,) because it is in an ordered product symbol. Using and , equation (23) may be represented as

For example, †2, which is normal ordering, then

The reciprocal transformation of Eq. (24) reads

which is the transformation formula for converting an anti-normally ordered operator function into its normally ordered form. For example, mn is anti-normal ordering, and its compact form of normal ordering can be obtained as

where and Hm,n (x,y) is the two-variable Hermite polynomial function.

5. Applications

We now give several examples of some applications of the above operator formulas as follows.

Example 1 First of all, we consider the Hermite polynomial operator function Hn (), which is defined by

By virtue of Eq. (13), we know that

which is the normally ordered form of Hn (). In addition, equation (29) implies that

which are two new differential formulas for the Hermite polynomial Hn (x), and will be quite useful in our work. Furthermore, the anti-normally ordered expansion of Hn () can be obtained, i.e.,

where we have used Eq. (30) repeatedly.

Example 2 Following Eqs. (7) and (30) we have

which is the anti-normal ordering form of Hn (λQ̂ + νP̂). In a similar way, the normal ordering expansion of Hn (λQ̂ + νP̂) is described as

Example 3 By using Eqs. (7) and (30), we may obtain the anti-normal ordered form of (λQ̂ + νP̂)n as follows:

Similarly, by virtue of Eqs. (9) and (30), the normal ordered form of (λQ̂ + νP̂)n can be obtained as

This result is Eq. (11) of Ref. [17] and Eq. (11) of Ref. [18]. By comparison, our approach is simple and concise.

Example 4 Using Eq. (29), we may derive the matrix elements of Hn () in coherent states directly as

Here, our method is simple and convenient with utilizing neither the completeness relation of coordinate representation nor any complex mathematical integral formula.

Example 5 Substituting δ(q) for f() in Eq. (8), it follows that

On the other hand

so

By using Eq. (7) once again, we have

Comparing Eq. (39) with Eq. (40), we can obtain

which is a new differential form of Dirac’s delta function. The reciprocal transformation of Eq. (41) reads

which will be useful in operator-ordering theory and special function theory.

Example 6 Replacing f() with eλQ̂2 in Eq. (8), we have

which is the anti-normal ordering form of eλQ̂2 for an arbitrary parameter λ.

Imposing the condition 1 > λ > 0 yields that

In the above calculation we have used Eqs. (41) and (42) repeatedly. Obviously, when λ = 0, then eλQ̂2 = 1, and when λ = 1, then .

Example 7 Now we prove the relation between the Laguerre polynomial and the Hermite polynomial. By virtue of Eq. (7) we know

where the definition of the Laguerre polynomial is . On the other hand,

Comparing Eq. (45) with Eq. (46), we can obtain

the above equation shows that the Laguerre polynomial and the Hermite polynomial are related by the differential operator .

Example 8 Now we come to deduce a useful mathematical integral formula. By using the completeness relation of coordinate representation, we may have

On the other hand, by virtue of Eq. (7) we have

By comparison, the mathematical integral formula is given as

which holds true for any function f(x). Especially, when f(x) = Hn (x), equation (49) turns into

which is easily derived, without really performing the integration. By the way, Eq. (49) can be seen as a mathematical or physical transformation.

Example 9 As a final example, using the over-completeness relation of coherent state

and |z〉 = z|z〉, we have

On the other hand, it follows from Eq. (26) that

Since in the normal ordering, symbols and are commutative, they may be treated as a c-number. Setting ξ and η, we easily obtain

This integral transformation formula holds true for any function f (z, z*). Especially, when f (z, z*) = znz*m, we can derive the following identity:

which is often used in some published reports.

6. Conclusions

In this work, by directly employing the Baker–Hausdorff formula and the operator differential method, we find a new kind of operator formula for anti-normally and normally ordering bosonic-operator functions, which can help us transform some operators such as f (), f (), f (λQ̂ + νP̂), mn, and mn into their anti-normal and normal ordering conveniently. As their important byproducts, the mutual transformation formulas between anti-normal ordering and normal ordering are derived too, which have the good universality. Furthermore, based on these operator formulas, some new differential relations and some useful mathematical integral formulas are easily derived without really performing these integrations. These new formulas are useful in operator-ordering theory and special function theory. By comparison, our method is simple and neat.

Reference
1Witschel W 2005 Phys. Lett. 334 140
2Mansour TSchork M J2008Math. Phys.1577
3Ballentine L E1998Quantum mechanics: Modern DevelopmentSingaporeWorld Scientific
4Schleich W P2001Quantum Optics in Phase SpaceNew YorkWiley
5Klauder J RSudarshan1968Fundamentals of Quantum OpticsNew YorkW A Benjamin
6Glauber R J 1963 Phys. Rev. 130 2529
7Glauber R J 1963 Phys. Rev. 131 2766
8Klauder J RSkagerstam B S1985Coherence StatesSingaporeWorld Scientific
9Mehta C L 1967 Phys. Rev. Lett. 18 752
10Louisell W H1973Quantum Statistical Properties of RadiationNew YorkWiley
11Glauber R J1963Phys. Rev.1317662
12Fan H YLu H LFan Y 2006 Ann. Phys. 321 480
13Wünsche A 1999 J. Opt. B-Quantum Semicl. Opt. 1 R11
14Yuan H CXu X XFan H Y 2010 Sci. China Ser. G-Phys. Mech. Astron. 53 1793
15Wang J SFan H YMeng X G 2012 Chin. Phys. 21 064204
16Shao Y CFan H Y 2008 Commun. Theor. Phys. 49 866
17Meng X GWang J SLiang B L 2009 Chin. Phys. 18 1534
18Li H MYuan H C 2010 Int. J. Theor. Phys. 49 2121
19Erdelyi A1953Higher Transcendental Function: The Batemann Manuscript ProjectNew YorkMcGrawHill
20Rainville E D1960Special functionsNew YorkMacMillan Comp.187